Molecular hurdles cleared with ease

Polytypi Programming With Ease

Polytypic Programming With Ease

A functional polytypic program is one that is parameterised by datatype. Since poly-typic functions are deened by induction on types rather than by induction on values they typically operate on a higher level of abstraction than their monotypic counterparts. However, polytypic programming is not necessarily more complicated than conventional programming. We show that a polytypic function is uni...

Mixing Identities with Ease

Anonymous credential systems are a key ingredient for a secure and privacy protecting electronic world. In their full-fledged form, they can realize a broad range of requirements of authentication systems. However, these many features result in a complex system that can be difficult to use. In this paper, we aim to make credential systems easier to employ by providing an architecture and high-l...

Cleared for Public Release

More hurdles: exercise for people with disabilities.

UK guidelines recommend that everyone, able-bodied or otherwise, should undertake 150 min of moderate exercise every week. Indeed, people with disabilities, who tend to have more sedentary lifestyles, might be well advised to exceed this level. Nonetheless, a survey shows that only 18% of the 11 million or so disabled people in the UK manage a single 30 min session of exercise every week (compa...